Natural Deduction Proofs)](Proofs Using Rules of Inferences (Natural Deduction Proofs